61. System verilog for verification :a guide to learning the testbench language features
پدیدآورنده : Spear, Chris.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع : ، Verilog )Computer hardware description language(,Verification ، Integrated circuits
رده :
TK
7885
.
7
.
S67
62. SystemVerilog For Verification : A Guide To Learning The Testbench Language Features
پدیدآورنده :
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification,وریلاگ )زبان توصیفی سخت افزار کامپیوتر(,مدارهای مجتمع - تشخیص,Spear, Chris.
رده :
CD-B
,
TK
,
7885
,.
7
,.
S67
,
2006
63. SystemVerilog assertions and functional coverage :guide to language, methodology and applications
پدیدآورنده : Mehta, Ashok B.,Ashok B. Mehta
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,Design and construction ، Electronic digital computers,Verification ، Integrated circuits,، Engineering,، Circuits and Systems,، Electronics and Microelectronics, Instrumentation,، Processor Architectures
رده :
TK7885
.
7
64. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
TK7885
.
7
.
S67
2006
65. SystemVerilog for verification
پدیدآورنده : / Chris Spear
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits- Verification
رده :
E-BOOK
66. SystemVerilog for verification
پدیدآورنده : / Chris Spear, Greg Tumbush
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages.,Integrated circuits--Verification,Object-oriented programming (Computer science)
رده :
TK7885
.
7
.
S64
2012
67. Systemverilog for verification :
پدیدآورنده :
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits , Verification
رده :
E-BOOK
68. Taxonomies for the development and verification of digital systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Digital integrated circuits ; Design and construction. ; Integrated circuits ; Verification. ; Digital communications. ;
69. Test pattern generation using Boolean proof engines
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Integrated circuits ; Verification. ; Automatic test pattern generation. ; Automatic test equipment. ; Computer algorithms. ; Algebra, Boolean. ; ATPG. ; swd. ; Hardwareverifikation. ; swd. ; Integrierte Schaltung. ; swd. ;
70. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages,Integrated circuit--Verification,Computer--Circuits--Testing
رده :
E-BOOK
71. The E hardware verification language
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Computer hardware description languages ; Integrated circuits ; Verification ; Computers ; Circuits ; Testing ;
72. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Computer hardware description languages,Integrated circuits , Verification,Computers , Circuits , Testing
رده :
E-BOOK
73. The E hardware verification language
پدیدآورنده : / Sasan Iman, Sunita Joshi
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (اردبیل)
موضوع : Computer hardware description languages,Integrated circuits- Verification,Computers- Circuits- Testing
رده :
TK7885
.
7
.
I43
2004
74. The fusion of hardware design and verification :proceedings of the IFIP WG 10.2 Working Conference on the Fusion of Hardware Desi Verification, Glasgow, Scotland, 4-6 July 1988
پدیدآورنده : edited by George J. Milne
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Integrated circuits--Design and construction--Data-processing--Congres,Computer-aided design--Congresses,Integrated circuits--Verification--Congresses
رده :
TK
،
7874
،.
I328
،
1988
75. The power of assertions in SystemVerilog
پدیدآورنده : Eduard Cerny ... ]et al.[
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Verilog )Computer hardware description language(,، Integrated circuits, Verification, Data processing
رده :
TK
7874
.
58
.
P69
2010
76. The power of assertions in system verilog
پدیدآورنده : / Eduard Cerny...[et al]
کتابخانه: کتابخانه مرکزی و مرکز اسناد و انتشارات دانشگاه تبریز (آذربایجان شرقی)
موضوع : Verilog (Computer hardware description language),Integrated circuits - Verification - Data processing
رده :
TK7874
.
58
.
P69
2010
77. The power of assertions in system verilog
پدیدآورنده : Eduard Cerny ... ]et al.[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Verilog )Computer hardware description language(,Verification -- Data processing ، Integrated circuits
رده :
TK
7874
.
58
.
P69
2010
78. Trace-Based Post-Silicon Validation for VLSI Circuits
پدیدآورنده : \ Xiao Liu, Qiang Xu
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Integrated circuits -- Very large scale integration -- Design and construction.,Integrated circuits -- Verification.,مدارهای مجتمع -- مجتمعسازی در مقیاس بسیار بزرگ -- طراحی و ساخت ,مدارهای مجتمع -- راستیآزمایی
رده :
E-Book
,
79. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده : / by Xiao Liu, Qiang Xu
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Integrated circuits, Very large scale integration, Design and construction,Integrated circuits, Verification,COMPUTERS / Logic Design, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic, bisacsh,TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI, bisacsh,Integrated circuits, Verification, fast,Integrated circuits, Very large scale integration, Design and construction, fast,Engineering,Computer science,Systems engineering,Circuits and Systems,Processor Architectures,Semiconductors
رده :
E-BOOK
80. Trace-based post-silicon validation for VLSI circuits
پدیدآورنده : Liu, Xiao,by Xiao Liu, Qiang Xu
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : Very large scale integration Design and construction ، Integrated circuits,Verification ، Integrated circuits
رده :
TK7874
.
L58
2014